function to_demo1() {

    window.location.href = 'demo1.html';
}
function to_index() {

    window.location.href = 'index.html';
}

function to_demo() {

    window.location.href = 'demo.html';
}